SUBDIRS=tests/regression-new tests/builtins/collections tests/smoke

include include/kframework/ktest-group.mak
